Amir Pnueli ( he, אמיר פנואלי; April 22, 1941 – November 2, 2009) was an Israeli

computer scientist A computer scientist is a person who is trained in the academic study of computer science. Computer scientists typically work on the theoretical side of computation, as opposed to the hardware side on which computer engineers mainly focus (al ...

and the 1996

Turing Award The ACM A. M. Turing Award is an annual prize given by the Association for Computing Machinery (ACM) for contributions of lasting and major technical importance to computer science. It is generally recognized as the highest distinction in compu ...

recipient.

Biography

Pnueli was born in

Nahalal Nahalal ( he, נַהֲלָל) is a moshav in northern Israel. Covering 8.5 square kilometers, it falls under the jurisdiction of the Jezreel Valley Regional Council. In it had a population of . Nahalal is best known for its general layout, as d ...

, in the

British Mandate of Palestine British Mandate of Palestine or Palestine Mandate most often refers to: * Mandate for Palestine: a League of Nations mandate under which the British controlled an area which included Mandatory Palestine and the Emirate of Transjordan. * Mandatory P ...

(now in

Israel Israel (; he, יִשְׂרָאֵל, ; ar, إِسْرَائِيل, ), officially the State of Israel ( he, מְדִינַת יִשְׂרָאֵל, label=none, translit=Medīnat Yīsrāʾēl; ), is a country in Western Asia. It is situated ...

) and received a

Bachelor's degree A bachelor's degree (from Middle Latin ''baccalaureus'') or baccalaureate (from Modern Latin ''baccalaureatus'') is an undergraduate academic degree awarded by colleges and universities upon completion of a course of study lasting three to six ...

in mathematics from the Technion in

Haifa Haifa ( he, חֵיפָה ' ; ar, حَيْفَا ') is the third-largest city in Israel—after Jerusalem and Tel Aviv—with a population of in . The city of Haifa forms part of the Haifa metropolitan area, the third-most populous metropol ...

, and

Ph.D. A Doctor of Philosophy (PhD, Ph.D., or DPhil; Latin: or ') is the most common degree at the highest academic level awarded following a course of study. PhDs are awarded for programs across the whole breadth of academic fields. Because it is ...

in applied

mathematics Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...

from the

Weizmann Institute of Science The Weizmann Institute of Science ( he, מכון ויצמן למדע ''Machon Vaitzman LeMada'') is a public research university in Rehovot, Israel, established in 1934, 14 years before the State of Israel. It differs from other Israeli unive ...

(1967). His thesis was on the topic of "Calculation of Tides in the Ocean". He switched to computer science during a stint as a post-doctoral fellow at

Stanford University Stanford University, officially Leland Stanford Junior University, is a private research university in Stanford, California. The campus occupies , among the largest in the United States, and enrolls over 17,000 students. Stanford is consider ...

. His works in computer science focused on

temporal logic In logic, temporal logic is any system of rules and symbolism for representing, and reasoning about, propositions qualified in terms of time (for example, "I am ''always'' hungry", "I will ''eventually'' be hungry", or "I will be hungry ''until'' I ...

and

model checking In computer science, model checking or property checking is a method for checking whether a finite-state model of a system meets a given specification (also known as correctness). This is typically associated with hardware or software systems ...

, particularly regarding fairness properties of

concurrent systems In computer science, concurrency is the ability of different parts or units of a program, algorithm, or problem to be executed out-of-order or in partial order, without affecting the outcome. This allows for parallel execution of the concurr ...

.. He returned to Israel as a researcher; he was the founder and first chair of the computer science department at

Tel Aviv University Tel Aviv University (TAU) ( he, אוּנִיבֶרְסִיטַת תֵּל אָבִיב, ''Universitat Tel Aviv'') is a public research university in Tel Aviv, Israel. With over 30,000 students, it is the largest university in the country. Locate ...

. He became a professor of computer science at the

Weizmann Institute The Weizmann Institute of Science ( he, מכון ויצמן למדע ''Machon Vaitzman LeMada'') is a public research university in Rehovot, Israel, established in 1934, 14 years before the State of Israel. It differs from other Israeli univ ...

in 1981. From 1999 until his death, Pnueli also held a position at the Computer Science Department of

New York University New York University (NYU) is a private research university in New York City. Chartered in 1831 by the New York State Legislature, NYU was founded by a group of New Yorkers led by then-Secretary of the Treasury Albert Gallatin. In 1832, the ...

, New York,

U.S. The United States of America (U.S.A. or USA), commonly known as the United States (U.S. or US) or America, is a country primarily located in North America. It consists of 50 states, a federal district, five major unincorporated territori ...

Pnueli also founded two startup technology companies during his career. He had three children and, at his death, had four grandchildren. Pnueli died on November 2, 2009 of a

brain hemorrhage Intracerebral hemorrhage (ICH), also known as cerebral bleed, intraparenchymal bleed, and hemorrhagic stroke, or haemorrhagic stroke, is a sudden bleeding into the tissues of the brain, into its ventricles, or into both. It is one kind of bleed ...

Awards and honours

* In 1996, Pnueli received the

''for seminal work introducing

into computing science and for outstanding contributions to program and systems verification''. * On May 30, 1997 Pnueli received an

honorary doctorate An honorary degree is an academic degree for which a university (or other degree-awarding institution) has waived all of the usual requirements. It is also known by the Latin phrases ''honoris causa'' ("for the sake of the honour") or ''ad hon ...

from the Faculty of Science and Technology at

Uppsala University Uppsala University ( sv, Uppsala universitet) is a public university, public research university in Uppsala, Sweden. Founded in 1477, it is the List of universities in Sweden, oldest university in Sweden and the Nordic countries still in opera ...

Sweden Sweden, formally the Kingdom of Sweden,The United Nations Group of Experts on Geographical Names states that the country's formal name is the Kingdom of SwedenUNGEGN World Geographical Names, Sweden./ref> is a Nordic country located on ...

. * In 1999, he was inducted as a Foreign Associate of the U.S. National Academy of Engineering. * In 2000, he was awarded the

Israel Prize The Israel Prize ( he, פרס ישראל; ''pras israél'') is an award bestowed by the State of Israel, and regarded as the state's highest cultural honor. History The Israel Prize is awarded annually, on Israeli Independence Day, in a state cer ...

, for computer science. * In 2007, he was inducted as a Fellow of the

Association for Computing Machinery The Association for Computing Machinery (ACM) is a US-based international learned society for computing. It was founded in 1947 and is the world's largest scientific and educational computing society. The ACM is a non-profit professional member ...

. * The

presents a memorial lecture series in his honou

References

External links

New York University homepage
*

Weizmann Institute homepage
*

* {{DEFAULTSORT:Pnueli, Amir 1941 births 2009 deaths Fellows of the Association for Computing Machinery Formal methods people Israeli Jews Israeli computer scientists Israel Prize in computer sciences recipients Jewish scientists Members of the Israel Academy of Sciences and Humanities Courant Institute of Mathematical Sciences faculty People from Nahalal Programming language researchers Technion – Israel Institute of Technology alumni Tel Aviv University faculty Theoretical computer scientists Turing Award laureates Weizmann Institute of Science faculty Polytechnic Institute of New York University faculty Foreign associates of the National Academy of Engineering

Biography

Awards and honours

See also

References

External links